In measure theory (a branch of mathematical analysis), a property holds almost everywhere if the set of elements for which the property does not hold is a set of measure zero (Halmos 1974). In cases where the measure is not complete, it is sufficient that the set is contained within a set of measure zero.